#!/bin/bash

# 定义要删除的文件夹列表
#folders=("divide" "factorial" "fib" "get_sign2" "is_prime1" "is_prime3" "ltfive" "multiple" "order" "pos2" "pos3" "oneN2" "oneBound" "add" "const" "LoopUnreach2" "LoopUnreach5" "LoopUnreach10" "LoopUnreach15" "LoopUnreach20" "UnchLoop" "FirstV1" "FirstV2" "FirstV3" "FirstV4" "FirstV5" "SecondV1" "SecondV2" "SecondV3" "SecondV4" "SecondV5")

folders=("divide2" "factorial" "fib" "fib2" "getsign" 
"is_prime2" "odd" "pos" "oneN1"  "LoopUnreach2" 
"LoopUnreach5" "LoopUnreach10" "LoopUnreach15" "LoopUnreach20" "LoopMult2" 
"LoopMult5" "LoopMult10" "LoopMult15" "LoopMult20" "LoopSub"
 "UnchLoop" "FirstV1" "FirstV2" "FirstV3" "FirstV4" 
"FirstV5" "SecondV1" "SecondV2" "SecondV3" "SecondV4" "SecondV5")


# 进入 use_test 目录

# 遍历每个文件夹
for folder in "${folders[@]}"; do
    echo "Deleting files in $folder"
    # 删除指定文件夹内以 klee-out- 开头的文件
    find "$folder" -name 'klee-out-*' -exec rm -rf {} +
done

